natural deduction system
[网络] 自然演绎系统；自然推理系统；自然演译系统
热门查询
- Falk [人名] 福尔克
- cloyingly adv. cloy的变形
- preparedness n. 有准备；已准备；做好准备(尤指作战准备)
- reducing n. 减低；减轻体重法，减肥法 v. 减少（reduce的ing形式）
- effective adj. 有效的，起作用的；实际的，实在的；给人深刻印象
- politicizing vt. 使具有政治性 vi. 参与政治
- meteorological adj. 气象的；气象学的
- Ingrid n. 英格丽，英格丽德（女子名）
- Brotherton [人名] 布拉泽顿
- drying n. 干燥 v. 把…弄干（dry的ing形式）
- prefectural adj. 县的，府的；地方行政长官的
- xylene n. [有化] 二甲苯
- rectus n. [解剖] 直肌
- ratty adj. 像老鼠的；破烂的
- Bovary 包法利（人名）
- mongoose n. 猫鼬；獴狐猴（等于mongoose lemur）
- conceit n. 自负；狂妄；幻想 vt. 幻想
- Constantin [医]康铜，铜镍合金
- drunken adj. 喝醉的；酒醉的；常醉的
- Achille n. 阿喀琉斯（荷马史诗《伊利亚特》中的英雄）
考试词汇表
- transmembrane regulator
- transmembrane signaling
- transmembrane transport
- transmethylation factor
- transmission (gear) box
- transmission capability
- transmission case cover
- transmission coefficien
- transmission commission
- transmission controller
- transmission definition
- transmission deviations
- transmission distortion
- transmission efficiency
- transmission encryption
- transmission equivalent
- transmission experiment
- transmission facilities
- transmission gear cover
- transmission gear ratio
